Krivine Machine and Taylor Expansion in a Non-uniform Setting
نویسندگان
چکیده
منابع مشابه
Krivine Machine and Taylor Expansion in a Non-uniform Setting
The Krivine machine is an abstract machine implementing the linear head reduction of λ -calculus. Ehrhard and Regnier gave a resource sensitive version returning the annotated form of a λ -term accounting for the resources used by the linear head reduction. These annotations take the form of terms in the resource λ -calculus. We generalize this resource-driven Krivine machine to the case of the...
متن کاملBöhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms
We show that, given an ordinary lambda-term and a normal resource lambda-term which appears in the normal form of its Taylor expansion, the unique resource term of the Taylor expansion of the ordinary lambda-term reducing to this normal resource term can be obtained by running a version of the Krivine abstract machine.
متن کاملImproving the lazy Krivine machine
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pushing update markers on the stack in a way similar to the TIM and the STG machine. When a sequence of consecutive markers appears on the stack, all but the first cause redundant updates. Improvements related to these ...
متن کاملfeatures of short story in translated and non-translated literature: a polysystemic perspective
ترجمه متون ادبی در دنیای امروز از اهمیت ویژه ای برخوردار است. فرهنگ های مختلف با استفاده از متون ادبی ملل و فرهنگ های دیگر سعی در غنی کردن فرهنگ و ادبیات کشور خود دارند. کشور ما نیز از این قاعده مستثنی نیست. در ایران، ترجمه متون ادبی اروپائی که با دوران مشروطه ایرانی آغاز می شود موجب تغییرات اساسی در فرهنگ، شیوه زندگی و تفکر ایرانیان شده است. در این دوران نه تنها در امورات سیاسی و فکری کشور تغی...
15 صفحه اولBowen’s Equation in the Non-uniform Setting
We show that Bowen’s equation, which characterises the Hausdorff dimension of certain sets in terms of the topological pressure of an expanding conformal map, applies in greater generality than has been heretofore established. In particular, we consider an arbitrary subset Z of a compact metric space and require only that the lower Lyapunov exponents be positive on Z, together with a tempered c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.238.3